direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Taming Concurrency for Verification Using Multiparty Session Types
Zitatschlüssel peters2019taming
Autor Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe
Buchtitel Theoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science
Seiten 196-215
Jahr 2019
ISBN 978-3-030-32505-3
DOI 10.1007/978-3-030-32505-3_12
Jahrgang vol 11884
Verlag Springer, Cham
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe